一种基于面向对象Petri网的并发程序建模方法

介绍了一种基于面向对象Petri网的并发系统建模方法. 该方法把面向对象技术与Petri网理论相结合, 构成一种面向对象Petri网,可以解决用Petri网建立并发程序模型所遇到的状态爆炸问题,又使得建模系统具有可重用性且易于维护, 是一种具有数学和图形方式相结合的形式化描述.     

PC机与数控机床CNC系统通讯

介绍通用微型机与数控机床ＣＮＣ系统之间通讯的具体实现方法，完成数控加工程序的直接输入／输出。实践表明该方法具有理想的应用效果。     

CATIA草图辅助线及关系曲线在四杆机构设计中的应用

在用草图工具进行四杆机构设计的过程中,为了解决代数等值参数不可调的问题,采用几何相等辅助线的方法,使所有参数在限制范围内均可调。同时为了更直观地展示四杆机构各几何、运动参数之间的函数关系及变化趋势,运用VB工具进行了在草图中展示关系曲线的二次开发。经过实践证明,以上创新方法的应用能够显著提高概念论证和方案选择阶段机构设计的效率和质量。     

数字化测量技术在N5B骨架总装焊接制造中的运用

通过采用数字化测量安装系统在NSB飞机机身钢构架总焊接架安装中的应用,简要地介绍了激光跟踪仪测量安装系统的工作原理及其用途,同时对本系统在焊接工装安装测量上的应用,以及工装制造工艺如何适应系统特点的问题进行了较为详细的论述。对运用于该工装上的自制辅助测量工具的设计原理和使用方式也作了简单的介绍。     

Tool Materials Rapid Selection Based on Initial Wear

Based on a large amount of literature about tool wear research, 873 tool wear curves are taken as samples, and statistical analysis is carried out to select the most suitable tool from all the tool materials suggested by the tool manufacturers. Statistical relationships between the initial wear and uniform wear periods are obtained. The results show that there is qualitative relationship between wear rate during initial wear period (WRIWP) and wear rate in uniform wear period (WRUWP) to certain extent. On this basis, a tool material rapid selection method based on the initial wear is put forward, and suitable tool materials for machining titanium alloy are selected. The experimental results indicate that this method is effective and useful. The new tool materials rapid selection can be used to select suitable cutting tool materials quickly before carrying out systematic machinability tests with the most suitable tool materials. The technology can be applied to doing the initial selection of cutting tool materials in either the machinability research or the workshop production.     

基于懒替换的C符号执行

针对传统符号执行中的动态地址计算问题,提出了基于懒替换的符号执行方法.通过引入尽可能替换的策略,基于懒替换的符号执行在无法静态确定变量的地址或符号表达式过长时不做符号替换.首先给出了基于懒替换的符号执行算法,在此基础上,详细分析了C语言主要结构尤其是数组和指针的懒符号执行语义.LazySEC是一个面向C程序的懒符号执行系统原型,初步实验表明,它可以有效地处理含有指针和结构体等涉及动态地址计算的程序语言结构.     

基于OOPN的实时软件开发方法与环境的研究

实时系统的与时间相关性以及与其环境的交互特点造成实时软件的开发十分困难,那么多处理机实时软件的开发就更加困难.为了简化多处理机环境下的并发程序设计、减少程序设计错误和提高编程效率,介绍一种用于多处理机系统的程序设计方法以及在此方法支持下的软件开发与运作环境.该方法以一种直观的图形方式(面向对象Petri网)辅助多处理机系统软件开发,在此环境下可完成高效的软件开发和获取安全可靠的软件结构.      

对象Petri网模型的并发软件仿真技术的研究

并发软件的性能评价是提高软件开发质量的重要手段之一.本文重点讨论了将面向对象与Petri网相结合的思想用于并发软件开发中的系统建模,以及基于对象Petri网(OPN)的并发软件系统的仿真技术,同时,也探讨了实现一个基于OPN的动态仿真工具所面临的关键技术和解决方法.实践结果表明,文中讨论的实现机制与处理方法是有效和可行的.      

基于有限元仿真的镗孔刀片优化设计及其性能评估

针对某结构件加工中镗孔刀具性能提升问题,采用参数化设计方法,对切削刃进行了优化设计;同时运用有限元仿真方法对比了不同参数下切削刃的切削性能,实现了镗孔刀片的快速优化设计,缩短了开发周期。在镗孔刀片性能有限元仿真评估中模拟了两刀片同时参与切削的情况,同时结合切削温度的数据获取,实现了实际切削工况的有效还原。镗刀片设计采用了刃口倒棱加刃口钝圆的结构,并从刃口倒棱宽度与倒棱角度两方面进行了有限元性能评估。结果表明:该方法可通过切削温度和切削应力的变化来分析倒棱宽度对切削状态的影响;当刀片倒棱角度过小时,会使得后刀面承受过大应力,加快刀片磨损。     

Evaluation of conflict-resolution policies on controller taskload

In an effort to maintain safety while satisfying growing air traffic demand, air navigation service providers are considering the inclusion of advisory systems to identify potential conflicts and propose resolution commands for the air traffic controller to verify and issue to aircraft. To understand the potential workload implications of introducing advisory conflict-detection and resolution tools, this paper examines a metric of controller taskload: how many resolution commands an air traffic controller issues under the guidance of an advisory system. Through a simulation study, the research presented here evaluates how the underlying protocol of a conflict-resolution tool affects the controller taskload (system demands) associated with the conflict-resolution process, and implicitly the controller workload (physical and psychological demands). Ultimately, evidence indicates that there is significant flexibility in the design of conflict-resolution algorithms supporting an advisory system.